Structuring two-level grammar specifications

Foundations for structuring behavioural specifications

We develop foundations for structuring behavioural specifications based on the logic tradition of hidden algebra. This includes an analysis of a number of important technical compositional properties for behavioural signatures, such as pushouts, inclusions and unions, as well as an investigation of algebraic rules for behavioural module composition. As a particularity of behavioural specificati...

An axiomatic approach to structuring specifications

In this paper we develop an axiomatic approach to structured specifications in which both the underlying logical system and corresponding institution of the structured specifications are treated as abstract institutions, which means two levels of institution independence. This abstract axiomatic approach provides a uniform framework for the study of structured specifications independently from ...

Structuring Real-Time Object-Z Specifications

Structuring Chromosomes for Context-Free Grammar Evolution

This paper investigates the use of genetic algorithms for inferring small regular and context-free grammars. Applied simply, a genetic algorithm is not very effective at this. To overcome this problem we investigate two methods of structuring the chromosomes. The rst is to bias the distribution of`1's in the population of chromosomes according to an algebraic expansion technique previously deve...

Software Document Integration using Graph Grammar Specifications

The integration of documents is one of the key problems in software engineering today. This paper presents an approach for integrating documents that were created in different phases of the lifecycle by using integration tools. These tools execute a transformation algorithm that is expressed by a set of transformation rules. They are based on a generic framework that can be reused for new proto...